Operating system kernels

Results: 132



#Item
21Software / Computing / Computer architecture / Operating system kernels / Computing platforms / Unikernel / OCaml / Xen / Hypervisor / NetBSD / Rump kernel / Virtual machine

doi:Article development led by queue.acm.org What if all the software layers in a virtual

Add to Reading List

Source URL: unikernel.org

Language: English - Date: 2016-01-21 10:41:16
22Computer architecture / Software / Computing / OS X / Mach / Monolithic kernels / Operating system kernels / XNU / Kernel / Darwin / Operating system / Mac OS

Figures FIGURE 1–1 Microsoft Windows NT 3.1 FIGURE 1–2 Copland architecture FIGURE 1–3 BeOS FIGURE 1–4 NEXTSTEP

Add to Reading List

Source URL: osxbook.com

Language: English - Date: 2014-06-16 13:23:37
23Computer architecture / Software / System software / Monolithic kernels / Inter-process communication / Operating system kernels / Mach / FreeBSD / XNU / Kernel / Rootkit / Microkernel

ADVANCED MAC OS X ROOTKITS DINO A. DAI ZOVI Abstract. The Mac OS X kernel (xnu) is a hybrid BSD and Mach kernel. While Unix-oriented rootkit techniques are pretty well known,

Add to Reading List

Source URL: www.trailofbits.com

Language: English
24

KCoFI: Complete Control-Flow Integrity for Commodity Operating System Kernels John Criswell, Nathan Dautenhahn, and Vikram Adve Department of Computer Science University of Illinois at Urbana-Champaign Email: {criswell,d

Add to Reading List

Source URL: www.ieee-security.org

Language: English - Date: 2014-04-21 13:48:10
    25

    KCoFI: Complete Control-Flow Integrity for Commodity Operating System Kernels John Criswell, Nathan Dautenhahn, and Vikram Adve Department of Computer Science University of Illinois at Urbana-Champaign Email: {criswell,d

    Add to Reading List

    Source URL: ieee-security.org

    - Date: 2014-04-21 13:48:10
      26Linux kernel / Monolithic kernels / Embedded operating systems / Linux / Loadable kernel module / Kernel / Vmlinux / Operating system / T-Kernel / Software / Computer architecture / System software

      Free Electrons. Kernel, drivers and embedded Linux development, consulting, training and support. http://free-electrons.com 1/45 Thomas Petazzoni I

      Add to Reading List

      Source URL: events.linuxfoundation.org

      Language: English - Date: 2013-11-21 12:14:40
      27Android / Embedded Linux / Smartphones / Unix / Monolithic kernels / Ioctl / Kernel / System call / Operating system / Software / Computer architecture / System software

      An Empirical Evaluation of the Android Security Framework? Alessandro Armando1,2 , Alessio Merlo1,3,?? , and Luca Verderame1 1 DIBRIS, Università degli Studi di Genova, Italy

      Add to Reading List

      Source URL: www.csec.it

      Language: English - Date: 2014-08-26 05:32:51
      28Monolithic kernels / Cross-platform software / Linux kernel / Embeddable Linux Kernel Subset / Debian / Operating system / GNU/Linux naming controversy / Book:Open Source / Software / Computer architecture / Linux

      The Linux FAQ David C. Merrill david −AT− lupercalia.net 2003−09−19 Revision History

      Add to Reading List

      Source URL: www.tldp.org

      Language: English - Date: 2012-07-07 10:11:21
      29Real-time operating systems / Monolithic kernels / Microkernel / Kernel / Ioctl / Android / Operating system / EROS / Loadable kernel module / Computer architecture / System software / Software

      Verifying Security Invariants in ExpressOS Haohui Mai Edgar Pek Hui Xue Samuel T. King P. Madhusudan

      Add to Reading List

      Source URL: haohui.me

      Language: English
      30Instruction set architectures / Instruction set / Minicomputers / Processor register / Operating system / Assembly languages / Microcontrollers / TI-990 / X86 assembly language / Computer architecture / Computer hardware / Central processing unit

      Version 1.0 Thumb Instructions and Kernels David May: April 23, 2013 The Instructions

      Add to Reading List

      Source URL: www.cs.bris.ac.uk

      Language: English - Date: 2013-04-25 05:29:16
      UPDATE